Constraint Support in MDA Tools: A Survey
نویسندگان
چکیده
The growing interest in the MDA (Model-Driven Architecture) and MDD (Model-Driven Development) approaches has largely increased the number of tools and methods including code-generation capabilities. Given a platform-independent model (PIM) of an application, these tools generate (part of) the application code either by defining first a platform-specific model or by executing a direct PIM to code transformation. However, current tools present several limitations regarding code generation of the integrity constraints defined in the PIMs. This paper compares these tools and shows that they lack expressiveness in the kind of constraints they can handle or efficiency in the code generated to verify them. Based on this evaluation, the features of an ideal code-generation method for integrity constraints are established. We believe such a method is required to extend MDA adoption in the development of industrial projects, where constraints play a key role.
منابع مشابه
An MDA Framework Supporting OCL
We present an mda framework, developed in the functional programming language sml, that tries to bridge the gap between formal software development and the needs of industrial software development, e.g., code generation. Overall, our toolchain provides support for software modeling using uml/ocl and guides the user from type-checking and model transformations to code generation and formal analy...
متن کاملDiffusion of Model-Driven Architecture in Academia
Model-driven architecture (MDA) is a relatively new software development paradigm that advocates the use of modeling throughout the software development lifecycle. This paradigm appears to be gaining validity in the industry as several large companies are investing resources to develop tools that support MDA. However, little is known about the diffusion of MDA in an academic setting. A survey o...
متن کاملXMI2USE: A Tool for Transforming XMI to USE Specifications
The UML-based Specification Environment (USE) tool supports syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/post conditions specified in the Object Constraint Language (OCL). Due to its animation and analysis power, it is useful when checking critical non-functional properties such as security policies. However, the USE tool requires one to...
متن کاملتأثیرحرکتدرمانی با محدودیت اجباری بهعنوان طرح مورد علاقۀ کودک بر کارکرد یکدستی و دودستی کودکان فلج مغزی نیمۀ بدن
Objective: Effectiveness of Constraint Induced Movement Therapy (CIMT) has been approved in adult persons, while it seems that we need many researches with higher levels of evidences in children. This research aimed to identify the efficacy of CIMT on unimanual and bimanual functions in children with Cerebral Palsy. Materials & Methods: In this interventional study, twenty eight participants...
متن کاملImproving Success Ratio in Multi-Constraint Quality of Service Routing
Multi-constraint quality-of-service routing will become increasingly important as the Internet evolves to support real-time services. It is well known however, that optimum multi-constraint QoS routing is computationally complex, and for this reason various heuristics have been proposed for routing in practical situations. Among these methods, those that use a single mixed metric are the mo...
متن کامل